#ifndef __RTC_H__
#define __RTC_H__

#include "common.h"

uint64 rtc_gettime();  // 获取实时时间

#endif